Pleasant Imperative Program Proofs with GallinaC
arxiv.org·7h
⚔️Lean Tactics
System Instruction Fixed Point
funcall.blogspot.com·16h·
Discuss: www.blogger.com
⚡Proof Automation
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
The Ternary Manifesto
homepage.cs.uiowa.edu·1h
📝Concrete Syntax
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1d
✨Algebraic Effects
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·18h
🔀Category Theory
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·7h·
Discuss: r/programming
📏Code Metrics
HTB Planning Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·1d
🛡️CLI Security
What Makes System Calls Expensive: A Linux Internals Deep Dive
blog.codingconfessions.com·17h·
Discuss: Hacker News
🔩Systems Programming
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting
Discord as a C2 and the cached evidence left behind
pentestpartners.com·1d
📟Terminal Forensics
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
✅Format Verification
Automated Conformance Testing Through Hybrid Symbolic Execution & Reinforcement Learning
dev.to·9h·
Discuss: DEV
🔍Concolic Testing
Claude Can (Sometimes) Prove It
galois.com·11h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
PHP: A fractal of bad design (2012)
eev.ee·21h·
Discuss: Hacker News
📝Concrete Syntax
Greyscale-box test-driven development
blog.ploeh.dk·1d
🧪Property-Based Testing
The peril of unquoted Python strings, and how they caused CVE-2024-9287
pythonkoans.substack.com·1d·
Discuss: Substack
✅Shell Verification
Punch-Cards to Prompts: Rebooting Reality
medium.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Obelisk 0.24.1
obeli.sk·2h·
Discuss: Lobsters, Hacker News
🧩WASM Components
Developing trustworthy AI: 9 key threat categories
reversinglabs.com·20h
🎯Threat Hunting